/* Init process. First process started by the kernel. It is not favoured by it though. It runs with the highest priority (1) and has SYSTEM_ID as pid and parent. Its job is simple, starting some processes and making sure there at least a shell in the system. */

#include "api.h"

void init();
